remember widget's double buffering state across expose event, so we still

remember widget's double buffering state across expose event, so we still

Fri May 11 20:13:44 2001  Tim Janik  <timj@gtk.org>

        * gtk/gtkmain.c (gtk_main_do_event): remember widget's double
        buffering state across expose event, so we still call end_paint().